python : subclass `type` to create specialized types (e. g。一个 \"list of int\")